退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用布尔可满足性的故障诊断和逻辑调试
机译:使用布尔可满足性进行故障诊断和逻辑调试
机译:通过布尔可满足性自动生成测试模式以测试桥接故障
机译:使用量化布尔可满足性的FPGA可编程逻辑块评估
机译:使用布尔可满足性诊断组合逻辑电路。
机译:氧化应激反应的布尔建模和故障诊断
机译:基于模糊逻辑的机械故障自动检测与诊断
机译:用于模拟数字逻辑电路中的故障的设备(例如可编程逻辑设备)具有映像寄存器和与每个工作寄存器关联的故障寄存器,以允许同时复制故障和调试
机译:用于在布尔可满足性应答设备中调度事件的系统,方法和逻辑设备
机译:在便携式数据载体中安装用户程序的调试方法智能卡,使用诊断程序检测安装程序中的故障
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。